Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
391	PDF Document Add to Reading List Source URL: www.cnaa.md Language: English - Date: 2013-07-23 09:48:31 Formal languages Membrane computing Mathematics P system Logic in computer science Parallel computing Computational complexity theory Computability Distributed computing Models of computation Theoretical computer science Computing
392	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: marshallplan.squarespace.com Language: English - Date: 2011-07-20 20:16:54 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic
393	Academic Phrases 1) Showing an important point • Plays an important role in • Highlight the importance of • Should not be underestimated • The crucial question is Add to Reading List Source URL: www.alexandercollege.ca Language: English - Date: 2013-03-25 15:02:53 Models of computation Exponentials Mathematical logic Applied mathematics Computer science Lambda calculus Polynomial Mathematics Computability theory Formal methods
394	PDF Document Add to Reading List Source URL: ctan.org Language: English - Date: 2013-12-20 19:14:22 Theoretical computer science Functions and mappings Recursion Theory of computation Primitive recursive function Function Μ-recursive function Course-of-values recursion Computability theory Mathematics Mathematical logic
395	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
396	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
397	¯ The λλ-calculus A dual calculus for unconstrained strategies Alexis Goyet PPS, Universit´ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Formal methods Computability theory Lambda calculus Function Combinatory logic Fixed-point combinator Mathematics Mathematical logic Theoretical computer science
398	The λλ¯ -calculus A dual calculus for unconstrained strategies Alexis Goyet Univ Paris Diderot, Sorbonne Paris Cit´e, PPS, UMR 7126, CNRS, F[removed]Paris, France Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Computability theory Lambda calculus Theoretical computer science Model theory Interpretation Spectral theory of ordinary differential equations Symbol Logic Mathematics Mathematical logic
399	The complexity of computable entailment Benedict Eastaugh [removed] Department of Philosophy University of Bristol Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Computability theory Proof theory Epistemology Reverse mathematics Foundations of mathematics Second-order arithmetic Constructivism Entailment Solomon Feferman Logic Mathematics Mathematical logic
400	¨ SPACES OF SINGULAR HEREDITARILY LINDELOF DENSITY ´ JUHASZ ´ ISTVAN Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2010-08-29 05:46:51 Mathematics Operator theory Ordinary differential equations Philosophy of mathematics Computability theory Spectral theory of ordinary differential equations Logic Decomposition of spectrum Spectral theory Forcing Constructible universe

UPDATE